:load test/Interactive/Load.agda
:quit
